sublist*(T;as;bs) == cs:T List. cs  as  l_subset(T;cs;bs)  cs  bs 

latex

---

clarification:

sublist*(T;as;bs) == cs:T List. sublist(T; cs; as)  l_subset(T;cs;bs)  sublist(T; cs; bs) 

latex

Definitions	x:A. B(x), P  Q, l_subset(T;as;bs), L1  L2
FDL editor aliases	sublist*